Some Methods of Mechanized Translation
ثبت نشده
چکیده
The following outline summarizes some suggestions about ways in which translation may be mechanized that were worked out by the authors in 19481952. The treatment is not exhaustive, and many modifications in detail would certainly be necessary should the ideas here mooted be put into active operation. It is considered, however, that it would be serviceable to describe the techniques here envisaged in their present rudimentary form, rather than await their further refining, since they may prove of interest to others working along the same lines. The paper is divided into three parts. The first deals with general principles, the second with specimen translations, while the third considers in detail the working of some specific mechanical translation schedules.
منابع مشابه
Session 8: INFORMATION PROCESSING AND LINGUISTIC ANALYSIS FROM TEXT TO TOPIC IN MECHANIZED SEARCHING SYSTEMS
We now conceive of many information processing tasks which we would like to accomplish in computer-based systems. Mechanized translation and mechanized searching are two of them. I suppose that all of us here at the National Symposium on Machine Translation are hopeful that we will achieve some measure of respectable success in the case of both translation and searching and that we will know, s...
متن کاملEvaluation of two methods of manual and mechanized harvesting Echium Amoenum L. and determine the most appropriate method of harvesting
Borage herbs, wild herbs and is one year with significant economic value are highly regarded local market Due to the high economic value of borage any study to improve the quality of harvest and increase product seems necessary, Two Rahim Abad (GILAN) district in the province Eshkourat the highest level of production as the location of choice, and studies of the factors in determining the best ...
متن کاملEvaluation of two methods of manual and mechanized harvesting Echium Amoenum L. and determine the most appropriate method of harvesting
Borage herbs, wild herbs and is one year with significant economic value are highly regarded local market Due to the high economic value of borage any study to improve the quality of harvest and increase product seems necessary, Two Rahim Abad (GILAN) district in the province Eshkourat the highest level of production as the location of choice, and studies of the factors in determining the best ...
متن کاملMechanized Reasoning for Continuous Problem Domains
Specification and verification in continuous problem domains are key topics for the practical application of formal methods and mechanized reasoning. I discuss one approach to linear continuous control systems and consider the challenges and opportunities raised for mechanized reasoning. These include practical implementation and integration issues, algorithms in computational real algebraic ge...
متن کاملMechanized Reasoning for Continuous Problem Domains (Invited Talk)
Specification and verification in continuous problem domains are key topics for the practical application of formal methods and mechanized reasoning. I discuss one approach to linear continuous control systems and consider the challenges and opportunities raised for mechanized reasoning. These include practical implementation and integration issues, algorithms in computational real algebraic ge...
متن کامل